First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
31	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
32	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
33	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
34	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic
35	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
36	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
37	www.itcon.org - Journal of Information Technology in Construction - ISSNINTEROPERABLE VALIDATION FOR IFC BUILDING MODELS USING OPEN STANDARDS SUBMITTED: November 2014 REVISED: December 2014 Add to Reading List Source URL: itcon.org Language: English - Date: 2015-01-22 02:56:58 Computing Real estate Building information modeling Data modeling Construction Industry Foundation Classes XML schema BuildingSMART Conceptual model EXPRESS First-order logic Information model
38	Mathware & Soft ComputingOrderings of Fuzzy Sets Based on Fuzzy Orderings Part II: Generalizations Ulrich Bodenhofer Institute of Bioinformatics, Johannes Kepler University Linz Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-09-23 05:31:07 Fuzzy logic Logic Mathematical logic Fuzzy set T-norm First-order logic Membership function
39	Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2009-06-05 11:15:41 Logic Mathematical logic Mathematics Automated theorem proving Propositional calculus Rules of inference Resolution Boolean algebra Literal First-order logic SLD resolution Horn clause
40	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation